Advanced Verification Methodology for Complex System on Chip Verification
نویسندگان
چکیده
منابع مشابه
A Verification Platform for System on Chip
System on Chip technology will reshape common design practice. The pressure to create a working System on Chip design as early as possible leads designers to consider using a platform based design method, called a system integration platform. In this design methodology, a system is built from intellectual property blocks in a plug and play environment. By using this approach, designing an appli...
متن کاملSystem-on-a-chip (soc) Verification Methods
The advent of system-on-a-chip (SoC) technology is a result of ever increasing transistor density. Unfortunately, this means that verification will pose the greatest problem to design because difficulties in verification scale faster than transistor technology. This paper provides evidence of this effect by citing industry trends, as well as discusses the potential pitfalls in SoC verification....
متن کاملSystem-on-Chip Verification Process Using UML
In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze and formalize the specification. The specification and implementation validation can be performed systematically by introducing UML. We applied our method to a Mobile Media Processors SoC. We improved the quality of てthe specifi...
متن کاملA Progressive Methodology for the Verification of a DSP Chip
In this paper we describe a methodology for the formal verification using theorem proving of a DSP processor chip. We specified both the behavioral and implementation (at the register level) of the processor. Then we create a new representation of the processor such that its complexity can be handled by the theorem prover. Finally, we make a proof of the full instruction set of this processor. ...
متن کاملDesignCon 2002 System-on-Chip and IP Design Conference Co-Verification: From Tool to Methodology
While many design organizations are using HW/SW co-verification as a tool in their verification flow today, few have yet to make it an integral part of their complete methodology. With software becoming a more significant part of end designs in terms of its size, complexity, and ability to competitively differentiate a hardware platform, a verification strategy that includes both the hardware a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of VLSI Design & Communication Systems
سال: 2015
ISSN: 0976-1527,0976-1357
DOI: 10.5121/vlsic.2015.6602